ePMC - csma all_before

Log
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property all_before_max
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 5630 5630
build-model-states-explored 13206 7576
build-model-states-explored 21649 8443
build-model-states-explored 30155 8506
build-model-states-explored 38675 8520
build-model-states-explored 46943 8268
build-model-states-explored 55477 8534
build-model-states-explored 63893 8416
build-model-states-explored 71905 8012
build-model-states-explored 80275 8370
build-model-states-explored 88831 8556
build-model-states-explored 97562 8731
build-model-states-explored 105938 8376
build-model-states-explored 114348 8410
build-model-states-explored 122850 8502
build-model-states-explored 130687 7837
build-model-states-explored 140159 9472
build-model-states-explored 149671 9512
build-model-states-explored 159334 9663
build-model-states-explored 168970 9636
build-model-states-explored 178360 9390
build-model-states-explored 187853 9493
build-model-states-explored 197485 9632
build-model-states-explored 207106 9621
build-model-states-explored 216679 9573
build-model-states-explored 226187 9508
build-model-states-explored 235826 9639
build-model-states-explored 245505 9679
build-model-states-explored 255150 9645
build-model-states-explored 263096 7946
build-model-states-explored 272643 9547
build-model-states-explored 282147 9504
build-model-states-explored 291838 9691
build-model-states-explored 301442 9603
build-model-states-explored 311028 9586
build-model-states-explored 320410 9382
build-model-states-explored 330119 9709
build-model-states-explored 339958 9839
build-model-states-explored 349512 9554
build-model-states-explored 359001 9489
build-model-states-explored 368551 9550
build-model-states-explored 378345 9794
build-model-states-explored 388178 9833
build-model-states-explored 397876 9698
build-model-states-explored 407659 9782
build-model-states-explored 417326 9668
build-model-states-explored 426994 9668
build-model-states-explored 436690 9696
build-model-states-explored 446414 9724
build-model-states-explored 455907 9493
build-model-states-explored 465315 9408
build-model-states-explored 475135 9820
build-model-states-explored 484980 9845
build-model-states-explored 494796 9816
build-model-states-explored 504527 9731
build-model-states-explored 513945 9417
build-model-states-explored 520497 6553
build-model-states-explored 530168 9671
build-model-states-explored 539879 9711
build-model-states-explored 549570 9691
build-model-states-explored 558904 9334
build-model-states-explored 568550 9646
build-model-states-explored 578232 9682
build-model-states-explored 587988 9756
build-model-states-explored 597643 9655
build-model-states-explored 607388 9745
build-model-states-explored 617127 9739
build-model-states-explored 626753 9626
build-model-states-explored 636469 9716
build-model-states-explored 646195 9726
build-model-states-explored 655956 9761
build-model-states-explored 665654 9698
build-model-states-explored 675213 9558
build-model-states-explored 684798 9586
build-model-states-explored 694532 9734
build-model-states-explored 704237 9705
build-model-states-explored 713869 9632
build-model-states-explored 723543 9674
build-model-states-explored 733267 9724
build-model-states-explored 742944 9677
build-model-states-explored 752349 9405
build-model-states-explored 761859 9510
build-model-states-explored 771419 9560
build-model-states-explored 780938 9519
build-model-states-explored 790515 9577
build-model-states-explored 800095 9580
build-model-states-explored 809733 9638
build-model-states-explored 819375 9642
build-model-states-explored 828980 9605
build-model-states-explored 838635 9655
build-model-states-explored 848121 9486
build-model-states-explored 857633 9512
build-model-states-explored 867147 9514
build-model-states-explored 876659 9512
build-model-states-explored 886309 9650
build-model-states-explored 895939 9630
build-model-states-explored 905579 9640
build-model-states-explored 915211 9632
build-model-states-explored 924768 9557
build-model-states-explored 934353 9585
build-model-states-explored 943922 9569
build-model-states-explored 953529 9607
build-model-states-explored 963190 9661
build-model-states-explored 972799 9609
build-model-states-explored 982330 9531
build-model-states-explored 991940 9610
build-model-states-explored 1001434 9494
build-model-states-explored 1010969 9535
build-model-states-explored 1020583 9614
build-model-states-explored 1030135 9552
build-model-states-explored 1039629 9494
build-model-states-explored 1042671 3042
build-model-states-explored 1052232 9561
build-model-states-explored 1061692 9460
build-model-states-explored 1071245 9553
build-model-states-explored 1080788 9543
build-model-states-explored 1090340 9552
build-model-states-explored 1100063 9723
build-model-states-explored 1109728 9665
build-model-states-explored 1119457 9729
build-model-states-explored 1129268 9811
build-model-states-explored 1139007 9739
build-model-states-explored 1148734 9726
build-model-states-explored 1158419 9686
build-model-states-explored 1168124 9705
build-model-states-explored 1177872 9748
build-model-states-explored 1187584 9712
build-model-states-explored 1197228 9644
build-model-states-explored 1206975 9747
build-model-states-explored 1216638 9663
build-model-states-explored 1226316 9678
build-model-states-explored 1236069 9753
build-model-states-explored 1245745 9676
build-model-states-explored 1255453 9708
build-model-states-explored 1265218 9765
build-model-states-explored 1274663 9445
build-model-states-explored 1284352 9689
build-model-states-explored 1294069 9717
build-model-states-explored 1303819 9750
build-model-states-explored 1313551 9732
build-model-states-explored 1323274 9723
build-model-states-explored 1332959 9685
build-model-states-explored 1342717 9758
build-model-states-explored 1352445 9728
build-model-states-explored 1362191 9746
build-model-states-explored 1371960 9769
build-model-states-explored 1381672 9712
build-model-states-explored 1391436 9764
build-model-states-explored 1401142 9706
build-model-states-explored 1410937 9795
build-model-states-explored 1420681 9744
build-model-states-explored 1430225 9544
build-model-states-explored 1439781 9556
build-model-states-explored 1449361 9580
build-model-states-explored 1458987 9626
build-model-done 1460287 155
iterating
iterating-progress-unbounded 49 1.4375 1
iterating-progress-unbounded 104 88.0 2
iterating-progress-unbounded 157 1.027603329438499E-4 3
iterating-done 173 3
model-checking-done 166
command-check-result-is 0.9324464830696655 all_before_max
Model:	csma v.1 (MDP)
Parameter(s)	N = 3, K = 4
Property:	all_before_max (prob-reach)
Walltime:	167.82634019851685s
Return code:	0
Relative Error:	4.780713336828581e-07